7

Shoenfield is Gödel after Krivine

Year:
2007
Language:
english
File:
PDF, 95 KB
english, 2007
9

The approximate fixed point property in product spaces

Year:
2007
Language:
english
File:
PDF, 207 KB
english, 2007
10

On quantitative versions of theorems due to F.E. Browder and R. Wittmann

Year:
2011
Language:
english
File:
PDF, 252 KB
english, 2011
11

On uniform weak König's lemma

Year:
2002
Language:
english
File:
PDF, 121 KB
english, 2002
13

Remarks on Herbrand normal forms and Herbrand realizations

Year:
1992
Language:
english
File:
PDF, 674 KB
english, 1992
15

Gödel's Functional Interpretation and its Use in Current Mathematics

Year:
2008
Language:
english
File:
PDF, 468 KB
english, 2008
16

Effective metastability of Halpern iterates in CAT(0) spaces

Year:
2012
Language:
english
File:
PDF, 292 KB
english, 2012
17

Some Logical Metatheorems with Applications in Functional Analysis

Year:
2005
Language:
english
File:
PDF, 3.05 MB
english, 2005
19

Walter Benjamin ||

Year:
2002
Language:
english
File:
PDF, 15.30 MB
english, 2002
20

Logical metatheorems for abstract spaces axiomatized in positive bounded logic

Year:
2016
Language:
english
File:
PDF, 807 KB
english, 2016
21

Women and Artists: E. T. A. Hoffmann's Implicit Critique of Early Romanticism

Year:
1994
Language:
english
File:
PDF, 2.67 MB
english, 1994
23

Intuitionistic Choice and Restricted Classical Logic

Year:
2001
Language:
english
File:
PDF, 133 KB
english, 2001
24

On Weak Markov's Principle

Year:
2002
Language:
english
File:
PDF, 136 KB
english, 2002
25

On the computational content of the Bolzano-Weierstraß Principle

Year:
2010
Language:
english
File:
PDF, 299 KB
english, 2010
26

A note on the monotone functional interpretation

Year:
2011
Language:
english
File:
PDF, 82 KB
english, 2011
28

Strongly uniform bounds from semi-constructive proofs

Year:
2006
Language:
english
File:
PDF, 348 KB
english, 2006
29

Some computational aspects of metric fixed-point theory

Year:
2005
Language:
english
File:
PDF, 226 KB
english, 2005
31

Preface

Year:
2009
Language:
english
File:
PDF, 151 KB
english, 2009
32

On the asymptotic behavior of odd operators

Year:
2011
Language:
english
File:
PDF, 142 KB
english, 2011
33

Uniform asymptotic regularity for Mann iterates

Year:
2003
Language:
english
File:
PDF, 125 KB
english, 2003
34

Proof mining in L1-approximation

Year:
2003
Language:
english
File:
PDF, 346 KB
english, 2003
36

Things that can and things that cannot be done in PRA

Year:
2000
Language:
english
File:
PDF, 164 KB
english, 2000
37

Proof theory and computational analysis

Year:
1998
Language:
english
File:
PDF, 2.12 MB
english, 1998
40

Callus formation from mesophyll protoplasts ofFagus sylvaticaL.

Year:
1988
Language:
english
File:
PDF, 802 KB
english, 1988
41

Induction of somatic embryogenesis in leaf-derived callus ofVicia narbonensisL.

Year:
1989
Language:
english
File:
PDF, 1.13 MB
english, 1989
44

Root morphogenesis in somatic hybrid cell lines

Year:
1978
Language:
english
File:
PDF, 561 KB
english, 1978
45

Über Organisierte Bildungen AusMacleaya cordataKallus

Year:
1965
Language:
german
File:
PDF, 345 KB
german, 1965
47

Cell differentiation in protoplast cultures from embryogenic callus ofAbies albaL.

Year:
1989
Language:
english
File:
PDF, 994 KB
english, 1989
48

Pointwise hereditary majorization and some applications

Year:
1992
Language:
english
File:
PDF, 708 KB
english, 1992